Miranda - the craft of functional programming

Haskell - The Craft of Functional Programming, 3rd Edition

Static analysis of functional programs

In this paper, the static analysis of programs in the functional programming language Miranda* is described based on two graph models. A new control-flow graph model of Miranda definitions is presented, and a model with four classes of caligraphs. Standard software metrics are applicable to these models. A Miranda front end for Prometrixt, a tool for the automated analysis of flowgraphs and cal...

Miranda in Isabelle

This paper describes our experience in formalising arguments about the Miranda functional programming language in Isabelle. After explaining some of the problems of reasoning about Miranda, we explain our two different approaches to encoding Miranda in Isabelle. We conclude by discussing some shorter examples and a case study of reasoning about hardware. Miranda1[Turner, 1990, Thompson, 1995b] ...

Functional Programming for Finite Element Analysis

This report is a detailed study of the application of functional programming to a typical problem in engineering computing||nite element structural analysis. The report assumes no prior knowledge of structural analysis, but does presume some familiarity with the Miranda programming language. It begins by showing how a basic linear algebra (BLAS) library can be built in Miranda, to perform eleme...

An Efficient Algorithm for Approximate Reasoning with Multiple Antecedents

We present an efficient algorithm for approximate reasoning with multiple antecedents. This algorithm computes its result by aggregating results from single antecedent rules. We prove its correctness, implement it in the functional programming language Miranda, and show its effectiveness with an example.